coquotient category

余商范畴